

def int32Max():
    return 2 ** 31 - 1